Proof of nonderivability

Übersetzung von "proof of nonderivability" ins Russisch

доказательство недоказуемости

The proof of nonderivability was complex and required advanced logic.

Доказательство недоказуемости было сложным и требовало использования продвинутой логики.